блок логического отрицания

См. также в других словарях:

• Машина вывода — Машина вывода  программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики. Факт в данном случае  утверждение, являющееся постоянно истинным, например:… …   Википедия

• Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… …   Большая биографическая энциклопедия

• ЭСТЕТИКА — (от греч. aisthetikos чувствующий, чувственный) филос. дисциплина, изучающая природу всего многообразия выразительных форм окружающего мира, их строение и модификацию. Э. ориентирована на выявление универсалий в чувственном восприятии… …   Философская энциклопедия

• Композиция текста — – это схема организации и структурной упорядоченности целого текста (произведения), отражающая строение, соотношение и взаимное расположение его частей, членение на смысловые элементы, степень и характер выраженности этих элементов, порядок их… …   Стилистический энциклопедический словарь русского языка

• Драма — Д. как поэтический род Происхождение Д. Восточная Д. Античная Д. Средневековая Д. Д. Ренессанса От Возрождения к классицизму Елизаветинская Д. Испанская Д. Классическая Д. Буржуазная Д. Ро …   Литературная энциклопедия

• АРАБО-МУСУЛЬМАНСКАЯ ФИЛОСОФИЯ —     АРАБО МУСУЛЬМАНСКАЯ ФИЛОСОФИЯ традиция философской рефлексии, возникшая и развившаяся в эпоху господства исламского мировоззрения в условиях преимущественно арабоязычной цивилизации и претерпевшая в наши дни значительную трансформацию под… …   Философская энциклопедия